x^0

z

y

X^0

x

X

\rotatebox{30}{135^\circ}

7{,}0

\rotatebox{90}{2{,}8}

1{,}5

\rotatebox{90}{2{,}9}

\rotatebox{90}{2{,}3}

4{,}0

\rotatebox{90}{5{,}5}

\rotatebox{90}{2{,}5}

A^0

A

B

C

J^0

J

I^0

I

H^0

H

D^0

G^0

D

G

E^0

F^0

E

F

1{,}25

1{,}45

\textrm{2,0 promítáním zkráceno na 1,0}

\rotatebox{90}{2\cdot\textrm{tg}\,\alpha}

\rotatebox{90}{2\cdot\textrm{tg}\,\alpha}

O_1 = Intersect(xAxis, yAxis)
X' = Point(yAxis)
Y = Point(xAxis)
Z = Point(yAxis)
Y' = Point(xAxis)
v = Vector(O_1, Z)
w = Vector(O_1, X')
a = Segment(Y', O_1)
u = Vector(O_1, Y)
X_2 = Rotate(Y, -135°, O_1)
α = Angle(Y, O_1, X_2)
b = Segment(O_1, X_2)
X_1 = Point(b)
c = Segment(O_1, X_1)
Z_1 = Point(w)
Z_2 = Mirror(O_1, Z_1)
d = Circle(O_1, Z_1)
Z_1' = Intersect(d, c)
e = Ray(Z_2, Z_1')
Z' = Point(e)
f = Vector(Z_2, Z')
g = Vector(O_1, X_1)
β = Angle(X_1, O_1, Y)
O_2 = (7, 0)
j = Segment(O_1, Z)
O_3 = (7, -2.8)
n = Segment(O_2, O_3)
p = Segment(O_1, O_2)
q = Vector(O_2, Y)
O_4 = (8.5, -2.8)
r = Segment(O_3, O_4)
V_3 = Point(r)
s = Line(V_3, n)
t = Segment(O_2, Y)
V_2' = Intersect(s, t)
u_1 = Vector(V_3, V_2')
v_1 = Vector(V_2', V_3)
O_5 = (8.5, -5.7)
a_1 = Segment(O_4, O_5)
V_4 = Point(a_1)
b_1 = Line(V_4, r)
O_6 = (7, -5.7)
e_1 = Segment(O_5, O_6)
f_1 = Ray(O_3, O_4)
V_4' = Point(f_1)
g_1 = Line(V_4', a_1)
h_1 = Line(O_5, O_6)
V_5 = Intersect(h_1, g_1)
i_1 = Vector(V_4', V_5)
j_1 = Vector(V_5, V_4')
k_1 = Segment(O_4, V_4')
l_1 = Segment(V_5, O_5)
O_7 = (7, -8)
m_1 = Segment(O_6, O_7)
V_6 = Intersect(e_1, s)
n_1 = OrthogonalLine(O_7, m_1)
V_7 = Intersect(n_1, s)
p_1 = Segment(O_7, V_7)
q_1 = Vector(V_7, V_6)
r_1 = Vector(V_6, V_7)
O_8 = (3, -8)
s_1 = Segment(O_7, O_8)
t_1 = OrthogonalLine(O_8, s_1)
O_9 = (3, -2.5)
d_2 = Segment(O_9, O_8)
O_{10} = (0, -2.5)
e_2 = Segment(O_{10}, O_9)
f_2 = Segment(O_1, O_{10})
w_2 = Vector(O_{10}, X')
V_8' = Point(s_1)
g_2 = Line(V_8', d_2)
h_2 = Ray(O_{10}, O_9)
V_9 = Intersect(g_2, h_2)
i_2 = Segment(O_9, V_9)
j_2 = Vector(V_8', V_9)
k_2 = Vector(V_9, V_8')
V_{10} = Point(e_2)
l_2 = Line(V_{10}, f_2)
V_1' = Intersect(p, l_2)
m_2 = Vector(V_{10}, V_1')
n_2 = Vector(V_1', V_{10})
pos = 11 (slider from 0 to 11, step 1)
p_2 = Line(O_{10}, f)
O_{10}' = Intersect(c, p_2)
q_2 = Segment(O_{10}, O_{10}')
s_2 = Line(O_{10}', p)
r_2 = Line(O_9, f)
O_9' = Intersect(s_2, r_2)
t_2 = Segment(O_{10}', O_9')
a_3 = Segment(O_9', O_9)
b_3 = Segment(O_1, O_2)
c_3 = Line(O_9', g)
d_3 = Line(O_8, f)
O_8' = Intersect(c_3, d_3)
e_3 = Segment(O_9', O_8')
f_3 = Segment(O_8', O_8)
g_3 = Segment(O_1, O_{10}')
u_3 = Vector(O_{10}', X_1)
h_3 = Line(O_8', s_1)
i_3 = Line(O_7, f)
O_7' = Intersect(h_3, i_3)
j_3 = Segment(O_8', O_7')
k_3 = Segment(O_7', O_7)
l_3 = Segment(O_2, O_7')
m_3 = Line(O_6, f)
n_3 = Line(O_3, f)
O_3' = Intersect(l_3, n_3)
O_6' = Intersect(m_3, l_3)
p_3 = Segment(O_7', O_6')
q_3 = Segment(O_3', O_2)
r_3 = Segment(O_6', O_6)
s_3 = Segment(O_3', O_3)
t_3 = Line(O_3', b_3)
a_4 = Line(O_6', j_3)
b_4 = Line(O_4, f)
c_4 = Line(O_5, b_4)
O_5' = Intersect(a_4, c_4)
O_4' = Intersect(t_3, b_4)
d_4 = Segment(O_3', O_4')
e_4 = Segment(O_5', O_6')
f_4 = Segment(O_4', O_5')
g_4 = Segment(O_5', O_5)
h_4 = Segment(O_4', O_4)
S_1 = Midpoint(O_8', O_7')
k_4 = Circle(S_1, 1)
i_4 = Line(S_1, e_3)
P_1, P_1' = Intersect(k_4, i_4)
j_4 = Segment(S_1, P_1)
l_4 = Segment(O_8', P_1)
m_4 = Segment(P_1, O_7')
S_2 = Midpoint(O_1, O_{10}')
p_4 = Circle(S_2, 1.25)
n_4 = Line(S_2, b_3)
P_2', P_2 = Intersect(p_4, n_4)
q_4 = Segment(S_2, P_2)
r_4 = Segment(O_{10}', P_2)
s_4 = Segment(O_1, P_2)
P_4 = Intersect(n_4, i_4)
t_4 = Segment(P_1, P_4)
a_5 = Segment(P_2, P_4)
b_5 = Segment(O_9', O_2)
S_3 = Midpoint(O_4', O_5')
c_5 = Circle(S_3, 1.45)
d_5 = Line(S_3, j_3)
P_3, P_3' = Intersect(c_5, d_5)
e_5 = Segment(P_3, S_3)
f_5 = Segment(P_3, O_5')
g_5 = Segment(P_3, O_4')
P_5 = Intersect(t_4, d_5)
h_5 = Segment(P_5, P_3)
i_5 = Line(P_5, f_5)
j_5 = Line(P_5, g_5)
P_6' = Intersect(t_3, j_5)
P_6 = Intersect(i_5, a_4)
k_5 = Segment(P_5, P_6)
l_5 = Segment(P_6', P_5)
m_5 = Segment(O_6', P_6)
n_5 = Segment(P_6', O_3')
p_5 = Line(P_2, v)
q_5 = Line(S_2, v)
W_1 = Point(q_5)
r_5 = Line(W_1, a)
W_1' = Intersect(r_5, p_5)
v_3 = Vector(W_1, W_1')
w_3 = Vector(W_1', W_1)
s_5 = Segment(S_2, W_1)
t_5 = Segment(P_2, W_1')
a_6 = OrthogonalLine(P_3, b_3)
b_6 = OrthogonalLine(S_3, b_3)
W_2 = Point(a_6)
c_6 = OrthogonalLine(W_2, a_6)
W_2' = Intersect(c_6, b_6)
u_4 = Vector(W_2, W_2')
v_4 = Vector(W_2', W_2)
d_6 = Segment(P_3, W_2)
e_6 = Segment(S_3, W_2')
f_6 = Line(P_1, h_3)
W_3 = Point(h_3)
g_6 = Line(W_3, u_3)
W_3' = Intersect(g_6, f_6)
h_6 = Segment(P_1, W_3')
i_6 = Segment(O_7', W_3)
w_4 = Vector(W_3, W_3')
u_5 = Vector(W_3', W_3)
U_1 = Point(w_4)
U_2 = (5.32, -3.74)
j_6 = Segment(U_1, U_2)
k_6 = Line(U_2, q)
U_3 = Point(k_6)
l_6 = Segment(U_2, U_3)
m_6 = Line(P_2, v)
n_6 = Line(P_1, v)
T_2 = Point(n_4)
a_7 = Line(T_2, v)
c_7 = Segment(S_2, T_2)
g_7 = Line(P_4, v)
s_7 = Segment(O_8', O_9')
b_8 = Line(P_5, v)
h_8 = Segment(O_1, O_2)
i_8 = Segment(O_{10}', O_1)
k_8 = Line(P_6, v)
p_8 = Line(P_6', v)
a_9 = Line(O_5', v)
b_9 = Line(O_4', v)
D_5 = Point(a_9)
a_2 = Line(D_5, u_3)
D_4 = Intersect(b_9, a_2)
n_9 = Segment(D_4, D_5)
p_9 = Line(D_5, e_4)
t_9 = Line(O_7', v)
d_{10} = Line(O_8', v)
h_{10} = Line(O_9', v)
l_{10} = Line(O_{10}', v)
s_{10} = Segment(O_1, X')
b_{11} = Line(O_2, v)
f_{11} = Line(O_3', v)
m_{11} = Segment(O_5', D_5)
n_{11} = Segment(O_4', D_4)
A_1 = Point(m_6)
b_2 = Line(A_1, q)
p_6 = Segment(A_1, P_2)
T_2' = Intersect(b_2, a_7)
q_6 = Segment(A_1, T_2')
u_2 = Vector(T_2, T_2')
v_2 = Vector(T_2', T_2)
r_6 = Segment(P_2, P_1)
s_6 = Line(A_1, r_6)
A_2 = Intersect(s_6, n_6)
t_6 = Segment(P_1, A_2)
b_7 = Line(A_2, u_3)
B_1 = Point(j_4)
d_7 = Line(B_1, v)
B_1' = Intersect(d_7, b_7)
v_5 = Vector(B_1, B_1')
w_5 = Vector(B_1', B_1)
e_7 = Segment(B_1', A_2)
A_3 = Intersect(b_2, g_7)
f_7 = Segment(P_4, A_3)
h_7 = Segment(A_1, A_3)
i_7 = Segment(A_2, A_3)
j_7 = Segment(O_{10}', A_1)
k_7 = Segment(O_1, A_1)
l_7 = Segment(A_3, O_2)
m_7 = Segment(A_2, O_7')
n_7 = Segment(A_2, O_8')
p_7 = Segment(O_9', A_3)
q_7 = Segment(O_{10}', O_9')
R_1 = Intersect(q_7, n_7)
r_7 = Segment(O_{10}', R_1)
t_7 = Segment(R_1, O_9')
A_4 = Intersect(b_8, i_7)
h = Line(A_4, h_8)
A_5 = Intersect(h, a_6)
i = Segment(P_5, A_4)
k = Segment(P_3, A_5)
l = Segment(A_4, A_5)
m = Line(A_4, m_7)
A_6 = Intersect(m, k_8)
c_1 = Line(A_6, u_3)
A_7 = Intersect(c_1, p_8)
d_1 = Segment(A_4, A_6)
c_2 = Segment(A_6, P_6)
a_8 = Segment(A_4, A_7)
c_8 = Segment(A_7, P_6')
d_8 = Line(A_6, q)
e_8 = Line(A_7, q)
A_8 = Intersect(e_8, b_9)
f_8 = Segment(O_4', A_8)
g_8 = Segment(A_7, A_8)
A_9 = Intersect(d_8, a_9)
j_8 = Segment(A_9, O_5')
l_8 = Segment(A_6, A_9)
m_8 = Segment(A_5, A_9)
n_8 = Segment(A_5, A_8)
q_8 = Segment(A_9, A_8)
R_2 = Intersect(q_8, d_4)
r_8 = Segment(O_3', O_2)
s_8 = Segment(O_3', R_2)
t_8 = Segment(R_2, O_4')
R_3 = Intersect(n_8, l_7)
c_9 = Segment(R_3, O_2)
d_9 = Segment(A_3, R_3)
e_9 = Line(O_6', v)
f_9 = Line(D_5, q)
D_6 = Intersect(f_9, e_9)
g_9 = Line(O_7', v)
h_9 = Line(D_6, u_3)
D_7 = Intersect(h_9, g_9)
i_9 = Line(D_7, q)
D_8 = Intersect(i_9, d_{10})
j_9 = Line(D_8, u_3)
D_9 = Intersect(j_9, h_{10})
k_9 = Line(D_9, q)
D_{10} = Intersect(k_9, l_{10})
l_9 = Line(D_{10}, u_3)
m_9 = Line(O_1, v)
D_1 = Intersect(l_9, m_9)
q_9 = Segment(D_6, D_5)
r_9 = Segment(O_6', D_6)
s_9 = Segment(D_6, D_7)
a_{10} = Segment(O_7', D_7)
b_{10} = Segment(D_8, D_7)
c_{10} = Segment(O_8', D_8)
e_{10} = Segment(D_8, D_9)
f_{10} = Segment(O_9', D_9)
R_4 = Intersect(k_9, c_{10})
g_{10} = Segment(D_{10}, R_4)
i_{10} = Segment(R_4, D_9)
j_{10} = Segment(O_{10}', D_{10})
k_{10} = Segment(D_{10}, D_1)
m_{10} = Segment(D_1, O_1)
n_{10} = Line(D_1, q)
D_2 = Intersect(n_{10}, b_{11})
p_{10} = Line(D_2, u_3)
D_3 = Intersect(p_{10}, f_{11})
q_{10} = Segment(D_3, D_4)
r_{10} = Segment(D_3, D_2)
t_{10} = Segment(D_1, D_2)
a_{11} = Segment(O_2, D_2)
c_{11} = Segment(O_3', D_3)
d_{11} = Segment(A_9, D_5)
e_{11} = Segment(A_8, D_4)
g_{11} = Segment(A_6, O_6')
h_{11} = Segment(A_7, O_3')
w_1 = Vector(D_1, X')
I_5 = Point(t_1)
I_6 = Point(b_{11})
u_6 = Vector(I_5, I_6)
v_6 = Vector(I_6, I_5)
i_{11} = Segment(O_8, I_5)
j_{11} = Segment(O_7, I_6)
I_3 = Intersect(b_1, b_{11})
I_4 = Intersect(a_1, b_1)
I_2 = Point(b_{11})
k_{11} = OrthogonalLine(I_2, b_{11})
I_1 = Intersect(j, k_{11})
w_6 = Vector(I_3, I_4)
u_7 = Vector(I_4, I_3)
v_7 = Vector(I_2, I_1)
w_7 = Vector(I_1, I_2)
l_{11} = Segment(O_2, I_2)
p_{11} = Segment(O_3, I_3)